Формализация и моделирование процессов сбора, движения и преобразования информации связаны с использованием математических методов, реализующих необходимые вычислительные и логические операции, в том числе и в автоматизированных информационных системах. Поэтому правовая информатика тесно связана с математикой и использует методы различных математических наук. В последнее время при изучении информационных процессов в области права используется теория вероятностей, математическая статистика, математическая логика, исследование операций и многие другие математические науки и дисциплины. Математические методы, специфически преломляясь в теории права, обогащают и усиливают метод правовой науки, но, естественно, не заменяют его. Сегодня можно говорить, что усилия специалистов, применяющих точные методы математики в правовой области, сосредоточены в двух направлениях: первое - это математическая обработка результатов правовых исследований; второе - исследование структуры права математическими методами. Эти направления составляют основу для создания и применения в правовой области различных автоматизированных систем обработки социально-правовой информации. Первое направление разрабатывалось еще в 1775 г. Пьером Симоном Лапласом, предложившим использовать методы теории вероятностей для оценки свидетельских показаний, для анализа выборов и решений собраний и для определения вероятностей ошибок в судебных приговорах. Его последователи Симеон Пуассон и Огюст Курно соответственно в 1837 г. и в 1877 г. опубликовали трактат "Исследование вероятности по материалам уголовных и гражданских судебных решений на основе общих правил исчисления вероятностей" и монографию "Основы теории шансов и вероятностей", в которой глава 15 была названа: "Теория вероятностей судебных решений. Применение ее к статистике гражданских дел". В США эстафету правометрических исследований принял профессор из Мичигана Дж. Шуберт, который в 1959 г. опубликовал работу "Количественный анализ судейского поведения". В 1961 г. Стюарт Нагель опубликовал ряд работ, среди которых "Ожидание вердикта" содержит количественный показатель возможности выиграть или проиграть иски, вытекающие из причинения вреда, в зависимости от наличия в деле целого ряда переменных, которые обрабатываются методом статистических обобщений. В настоящее время в рамках этого направления успешно применяются различные математические методы для решения следующих задач: количественное описание правовых явлений; обеспечение учета и отчетности в правовой деятельности путем численной обработки различных статистических показателей. Второе направление основано на идее сведения рассуждений к вычислениям и имеет глубокие исторические корни, восходящие к Р. Декарту. Он подразумевал возможность создания искусственного языка науки, дал его развернутую характеристику и тех громадных выгод, которые связаны с применением последнего. Декарт предполагал наличие некоторого природного порядка в наших мыслях, который сравнивал с порядком в мире чисел. При всем бесконечном множестве чисел каждое из них имеет единственное знаковое представление, следовательно, каждому из них можно дать собственное имя, что позволит действия с ними записывать особым компактным языком. Поскольку для чисел такой универсальный язык разработан, то, по мнению Декарта, со временем будет сконструирован еще более универсальный язык, охватывающий не только числа, но и любые объекты, которые могут стать предметом исследования. Такой язык позволит обозначать любые идеи путем выделения простых представлений и фиксации элементов, из которых состоит каждая мысль. Тем самым будет исключена любая возможность заблуждения. Такой язык противопоставит словам, имеющим неконкретное значение, четко определенные искусственные элементы. Вместо "давайте поспорим" ученые будут говорить "давайте вычислим". Развитию идеи универсального языка науки большое внимание уделено в работах Г. Лейбница, который заложил фундамент математической логики. По Лейбницу, идеал общего метода, благодаря которому возможно будет систематизировать вечные истины, доказывать их, даже открывать новые, состоит в следующем: 1) необходимо разложить все понятия на простейшие, подобно тому, как в математике составные числа разлагаются на произведение простых множителей. Число простейших понятий в таком языке не может быть велико; 2) обозначив каждое из понятий особым символом, мы получим "алфавит человеческой мысли"; 3) всевозможные комбинации простых понятий дадут нам совокупность сложных. И хотя число первых невелико, однако, как показывают формулы комбинаторики, число их комбинаций может быть почти неисчерпаемым; 4) необходимо ввести особые символы для основных соотношений между понятиями и установить правила употребления и комбинации этих символов. Таким образом, предполагалось процесс мышления свести к особого рода механическим исчислениям, чем, по существу, и занимается современная символическая логика. Современная логика создала множество систем, описывающих отдельные фрагменты содержательных рассуждений. Для моделирования структуры правовых норм специально разработана "нормативная логика", предметом исследования которой являются логическая структура и логические связи нормативных высказываний. Так, оценивая принципы логического моделирования структуры правовых норм, правоотношений и нормативных умозаключений, В. Кнапп и А. Герлох указывают, что лежащая в их основе классификация правовых норм является упрощенной абстракцией действительных правовых норм, носящих сложный характер. Например, исследуя сравнимость и совместимость правовых понятий, эти авторы приходят к выводу, что несравнимость понятий "наследственное право" и "избирательное право" нельзя доказать логическим рассуждением в рамках любой из логических теорий, поскольку наличие общего признака "право" делает формально сравнимыми эти понятия. Для доказательства несравнимости этих понятий, по мнению авторов, нельзя обойтись без аппарата теории права*(84). Другой вид формализации правовых норм основан на использовании математической логики для моделирования логической структуры правовой нормы.

Заказать аналогичную работу

Каталог докладов, эссе

Узнайте цену написания своей работы

Похожие работы:

• Математические методы
Формализация и моделирование процессов сбора, движения и преобразования информации связаны с использованием математических методов, реализующих необходимые вычислительные и логические операции, в том ...


• Математические и социологические модели коммуникации
Модель Лассуэлла. В 1948 г. американский политолог Г. Лассуэлл предложил простую и наглядную модель коммуникативного процесса, включающую пять элементов. Модель была создана и применялась главным обра...


• Методы
В экономической теории широко используются методы научной абстракции, анализа и синтеза, системный подход, методы моделирования (прежде всего графический, математический и компьютерного моделирования)...


• Методы нормирования
В нормировании труда применяются аналитические и суммарные методы. Аналитический метод базируется на предварительном анализе производственных возможностей рабочего места и определении необходимых затр...


• Методы нормирования
Применяются следующие основные методы нормирования оборотных средств: прямого счета, аналитический, коэффициентный. Метод прямого счета предусматривает обоснованный расчет запасов по каждому элементу...